$\forall$${\it es}$:ES, ${\it e'}$:E, $P$:(E$\rightarrow\mathbb{P}$). $\forall$$e$$\geq$${\it e'}$.$P$($e$) $\in$ $\mathbb{P}$